Optimal. Leaf size=268 \[ -\frac {(A b-a B) \log \left (-\sqrt {3} \sqrt [6]{a} \sqrt [6]{b} \sqrt {x}+\sqrt [3]{a}+\sqrt [3]{b} x\right )}{2 \sqrt {3} a^{5/6} b^{7/6}}+\frac {(A b-a B) \log \left (\sqrt {3} \sqrt [6]{a} \sqrt [6]{b} \sqrt {x}+\sqrt [3]{a}+\sqrt [3]{b} x\right )}{2 \sqrt {3} a^{5/6} b^{7/6}}-\frac {(A b-a B) \tan ^{-1}\left (\sqrt {3}-\frac {2 \sqrt [6]{b} \sqrt {x}}{\sqrt [6]{a}}\right )}{3 a^{5/6} b^{7/6}}+\frac {(A b-a B) \tan ^{-1}\left (\frac {2 \sqrt [6]{b} \sqrt {x}}{\sqrt [6]{a}}+\sqrt {3}\right )}{3 a^{5/6} b^{7/6}}+\frac {2 (A b-a B) \tan ^{-1}\left (\frac {\sqrt [6]{b} \sqrt {x}}{\sqrt [6]{a}}\right )}{3 a^{5/6} b^{7/6}}+\frac {2 B \sqrt {x}}{b} \]
________________________________________________________________________________________
Rubi [A] time = 0.47, antiderivative size = 268, normalized size of antiderivative = 1.00, number of steps used = 12, number of rules used = 8, integrand size = 22, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.364, Rules used = {459, 329, 209, 634, 618, 204, 628, 205} \begin {gather*} -\frac {(A b-a B) \log \left (-\sqrt {3} \sqrt [6]{a} \sqrt [6]{b} \sqrt {x}+\sqrt [3]{a}+\sqrt [3]{b} x\right )}{2 \sqrt {3} a^{5/6} b^{7/6}}+\frac {(A b-a B) \log \left (\sqrt {3} \sqrt [6]{a} \sqrt [6]{b} \sqrt {x}+\sqrt [3]{a}+\sqrt [3]{b} x\right )}{2 \sqrt {3} a^{5/6} b^{7/6}}-\frac {(A b-a B) \tan ^{-1}\left (\sqrt {3}-\frac {2 \sqrt [6]{b} \sqrt {x}}{\sqrt [6]{a}}\right )}{3 a^{5/6} b^{7/6}}+\frac {(A b-a B) \tan ^{-1}\left (\frac {2 \sqrt [6]{b} \sqrt {x}}{\sqrt [6]{a}}+\sqrt {3}\right )}{3 a^{5/6} b^{7/6}}+\frac {2 (A b-a B) \tan ^{-1}\left (\frac {\sqrt [6]{b} \sqrt {x}}{\sqrt [6]{a}}\right )}{3 a^{5/6} b^{7/6}}+\frac {2 B \sqrt {x}}{b} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 204
Rule 205
Rule 209
Rule 329
Rule 459
Rule 618
Rule 628
Rule 634
Rubi steps
\begin {align*} \int \frac {A+B x^3}{\sqrt {x} \left (a+b x^3\right )} \, dx &=\frac {2 B \sqrt {x}}{b}-\frac {\left (2 \left (-\frac {A b}{2}+\frac {a B}{2}\right )\right ) \int \frac {1}{\sqrt {x} \left (a+b x^3\right )} \, dx}{b}\\ &=\frac {2 B \sqrt {x}}{b}-\frac {\left (4 \left (-\frac {A b}{2}+\frac {a B}{2}\right )\right ) \operatorname {Subst}\left (\int \frac {1}{a+b x^6} \, dx,x,\sqrt {x}\right )}{b}\\ &=\frac {2 B \sqrt {x}}{b}+\frac {(2 (A b-a B)) \operatorname {Subst}\left (\int \frac {\sqrt [6]{a}-\frac {1}{2} \sqrt {3} \sqrt [6]{b} x}{\sqrt [3]{a}-\sqrt {3} \sqrt [6]{a} \sqrt [6]{b} x+\sqrt [3]{b} x^2} \, dx,x,\sqrt {x}\right )}{3 a^{5/6} b}+\frac {(2 (A b-a B)) \operatorname {Subst}\left (\int \frac {\sqrt [6]{a}+\frac {1}{2} \sqrt {3} \sqrt [6]{b} x}{\sqrt [3]{a}+\sqrt {3} \sqrt [6]{a} \sqrt [6]{b} x+\sqrt [3]{b} x^2} \, dx,x,\sqrt {x}\right )}{3 a^{5/6} b}+\frac {(2 (A b-a B)) \operatorname {Subst}\left (\int \frac {1}{\sqrt [3]{a}+\sqrt [3]{b} x^2} \, dx,x,\sqrt {x}\right )}{3 a^{2/3} b}\\ &=\frac {2 B \sqrt {x}}{b}+\frac {2 (A b-a B) \tan ^{-1}\left (\frac {\sqrt [6]{b} \sqrt {x}}{\sqrt [6]{a}}\right )}{3 a^{5/6} b^{7/6}}-\frac {(A b-a B) \operatorname {Subst}\left (\int \frac {-\sqrt {3} \sqrt [6]{a} \sqrt [6]{b}+2 \sqrt [3]{b} x}{\sqrt [3]{a}-\sqrt {3} \sqrt [6]{a} \sqrt [6]{b} x+\sqrt [3]{b} x^2} \, dx,x,\sqrt {x}\right )}{2 \sqrt {3} a^{5/6} b^{7/6}}+\frac {(A b-a B) \operatorname {Subst}\left (\int \frac {\sqrt {3} \sqrt [6]{a} \sqrt [6]{b}+2 \sqrt [3]{b} x}{\sqrt [3]{a}+\sqrt {3} \sqrt [6]{a} \sqrt [6]{b} x+\sqrt [3]{b} x^2} \, dx,x,\sqrt {x}\right )}{2 \sqrt {3} a^{5/6} b^{7/6}}+\frac {(A b-a B) \operatorname {Subst}\left (\int \frac {1}{\sqrt [3]{a}-\sqrt {3} \sqrt [6]{a} \sqrt [6]{b} x+\sqrt [3]{b} x^2} \, dx,x,\sqrt {x}\right )}{6 a^{2/3} b}+\frac {(A b-a B) \operatorname {Subst}\left (\int \frac {1}{\sqrt [3]{a}+\sqrt {3} \sqrt [6]{a} \sqrt [6]{b} x+\sqrt [3]{b} x^2} \, dx,x,\sqrt {x}\right )}{6 a^{2/3} b}\\ &=\frac {2 B \sqrt {x}}{b}+\frac {2 (A b-a B) \tan ^{-1}\left (\frac {\sqrt [6]{b} \sqrt {x}}{\sqrt [6]{a}}\right )}{3 a^{5/6} b^{7/6}}-\frac {(A b-a B) \log \left (\sqrt [3]{a}-\sqrt {3} \sqrt [6]{a} \sqrt [6]{b} \sqrt {x}+\sqrt [3]{b} x\right )}{2 \sqrt {3} a^{5/6} b^{7/6}}+\frac {(A b-a B) \log \left (\sqrt [3]{a}+\sqrt {3} \sqrt [6]{a} \sqrt [6]{b} \sqrt {x}+\sqrt [3]{b} x\right )}{2 \sqrt {3} a^{5/6} b^{7/6}}+\frac {(A b-a B) \operatorname {Subst}\left (\int \frac {1}{-\frac {1}{3}-x^2} \, dx,x,1-\frac {2 \sqrt [6]{b} \sqrt {x}}{\sqrt {3} \sqrt [6]{a}}\right )}{3 \sqrt {3} a^{5/6} b^{7/6}}-\frac {(A b-a B) \operatorname {Subst}\left (\int \frac {1}{-\frac {1}{3}-x^2} \, dx,x,1+\frac {2 \sqrt [6]{b} \sqrt {x}}{\sqrt {3} \sqrt [6]{a}}\right )}{3 \sqrt {3} a^{5/6} b^{7/6}}\\ &=\frac {2 B \sqrt {x}}{b}-\frac {(A b-a B) \tan ^{-1}\left (\sqrt {3}-\frac {2 \sqrt [6]{b} \sqrt {x}}{\sqrt [6]{a}}\right )}{3 a^{5/6} b^{7/6}}+\frac {(A b-a B) \tan ^{-1}\left (\sqrt {3}+\frac {2 \sqrt [6]{b} \sqrt {x}}{\sqrt [6]{a}}\right )}{3 a^{5/6} b^{7/6}}+\frac {2 (A b-a B) \tan ^{-1}\left (\frac {\sqrt [6]{b} \sqrt {x}}{\sqrt [6]{a}}\right )}{3 a^{5/6} b^{7/6}}-\frac {(A b-a B) \log \left (\sqrt [3]{a}-\sqrt {3} \sqrt [6]{a} \sqrt [6]{b} \sqrt {x}+\sqrt [3]{b} x\right )}{2 \sqrt {3} a^{5/6} b^{7/6}}+\frac {(A b-a B) \log \left (\sqrt [3]{a}+\sqrt {3} \sqrt [6]{a} \sqrt [6]{b} \sqrt {x}+\sqrt [3]{b} x\right )}{2 \sqrt {3} a^{5/6} b^{7/6}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] time = 0.03, size = 43, normalized size = 0.16 \begin {gather*} \frac {2 \sqrt {x} \left ((A b-a B) \, _2F_1\left (\frac {1}{6},1;\frac {7}{6};-\frac {b x^3}{a}\right )+a B\right )}{a b} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [A] time = 0.25, size = 166, normalized size = 0.62 \begin {gather*} -\frac {2 (a B-A b) \tan ^{-1}\left (\frac {\sqrt [6]{b} \sqrt {x}}{\sqrt [6]{a}}\right )}{3 a^{5/6} b^{7/6}}+\frac {(a B-A b) \tan ^{-1}\left (\frac {\sqrt [3]{a}-\sqrt [3]{b} x}{\sqrt [6]{a} \sqrt [6]{b} \sqrt {x}}\right )}{3 a^{5/6} b^{7/6}}-\frac {(a B-A b) \tanh ^{-1}\left (\frac {\sqrt {3} \sqrt [6]{a} \sqrt [6]{b} \sqrt {x}}{\sqrt [3]{a}+\sqrt [3]{b} x}\right )}{\sqrt {3} a^{5/6} b^{7/6}}+\frac {2 B \sqrt {x}}{b} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 1.00, size = 2424, normalized size = 9.04
result too large to display
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.21, size = 280, normalized size = 1.04 \begin {gather*} \frac {2 \, B \sqrt {x}}{b} - \frac {\sqrt {3} {\left (\left (a b^{5}\right )^{\frac {1}{6}} B a - \left (a b^{5}\right )^{\frac {1}{6}} A b\right )} \log \left (\sqrt {3} \sqrt {x} \left (\frac {a}{b}\right )^{\frac {1}{6}} + x + \left (\frac {a}{b}\right )^{\frac {1}{3}}\right )}{6 \, a b^{2}} + \frac {\sqrt {3} {\left (\left (a b^{5}\right )^{\frac {1}{6}} B a - \left (a b^{5}\right )^{\frac {1}{6}} A b\right )} \log \left (-\sqrt {3} \sqrt {x} \left (\frac {a}{b}\right )^{\frac {1}{6}} + x + \left (\frac {a}{b}\right )^{\frac {1}{3}}\right )}{6 \, a b^{2}} - \frac {{\left (\left (a b^{5}\right )^{\frac {1}{6}} B a - \left (a b^{5}\right )^{\frac {1}{6}} A b\right )} \arctan \left (\frac {\sqrt {3} \left (\frac {a}{b}\right )^{\frac {1}{6}} + 2 \, \sqrt {x}}{\left (\frac {a}{b}\right )^{\frac {1}{6}}}\right )}{3 \, a b^{2}} - \frac {{\left (\left (a b^{5}\right )^{\frac {1}{6}} B a - \left (a b^{5}\right )^{\frac {1}{6}} A b\right )} \arctan \left (-\frac {\sqrt {3} \left (\frac {a}{b}\right )^{\frac {1}{6}} - 2 \, \sqrt {x}}{\left (\frac {a}{b}\right )^{\frac {1}{6}}}\right )}{3 \, a b^{2}} - \frac {2 \, {\left (\left (a b^{5}\right )^{\frac {1}{6}} B a - \left (a b^{5}\right )^{\frac {1}{6}} A b\right )} \arctan \left (\frac {\sqrt {x}}{\left (\frac {a}{b}\right )^{\frac {1}{6}}}\right )}{3 \, a b^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.15, size = 353, normalized size = 1.32 \begin {gather*} \frac {2 \left (\frac {a}{b}\right )^{\frac {1}{6}} A \arctan \left (\frac {\sqrt {x}}{\left (\frac {a}{b}\right )^{\frac {1}{6}}}\right )}{3 a}+\frac {\left (\frac {a}{b}\right )^{\frac {1}{6}} A \arctan \left (\frac {2 \sqrt {x}}{\left (\frac {a}{b}\right )^{\frac {1}{6}}}-\sqrt {3}\right )}{3 a}+\frac {\left (\frac {a}{b}\right )^{\frac {1}{6}} A \arctan \left (\frac {2 \sqrt {x}}{\left (\frac {a}{b}\right )^{\frac {1}{6}}}+\sqrt {3}\right )}{3 a}+\frac {\sqrt {3}\, \left (\frac {a}{b}\right )^{\frac {1}{6}} A \ln \left (x +\sqrt {3}\, \left (\frac {a}{b}\right )^{\frac {1}{6}} \sqrt {x}+\left (\frac {a}{b}\right )^{\frac {1}{3}}\right )}{6 a}-\frac {\sqrt {3}\, \left (\frac {a}{b}\right )^{\frac {1}{6}} A \ln \left (-x +\sqrt {3}\, \left (\frac {a}{b}\right )^{\frac {1}{6}} \sqrt {x}-\left (\frac {a}{b}\right )^{\frac {1}{3}}\right )}{6 a}-\frac {2 \left (\frac {a}{b}\right )^{\frac {1}{6}} B \arctan \left (\frac {\sqrt {x}}{\left (\frac {a}{b}\right )^{\frac {1}{6}}}\right )}{3 b}-\frac {\left (\frac {a}{b}\right )^{\frac {1}{6}} B \arctan \left (\frac {2 \sqrt {x}}{\left (\frac {a}{b}\right )^{\frac {1}{6}}}-\sqrt {3}\right )}{3 b}-\frac {\left (\frac {a}{b}\right )^{\frac {1}{6}} B \arctan \left (\frac {2 \sqrt {x}}{\left (\frac {a}{b}\right )^{\frac {1}{6}}}+\sqrt {3}\right )}{3 b}-\frac {\sqrt {3}\, \left (\frac {a}{b}\right )^{\frac {1}{6}} B \ln \left (x +\sqrt {3}\, \left (\frac {a}{b}\right )^{\frac {1}{6}} \sqrt {x}+\left (\frac {a}{b}\right )^{\frac {1}{3}}\right )}{6 b}+\frac {\sqrt {3}\, \left (\frac {a}{b}\right )^{\frac {1}{6}} B \ln \left (-x +\sqrt {3}\, \left (\frac {a}{b}\right )^{\frac {1}{6}} \sqrt {x}-\left (\frac {a}{b}\right )^{\frac {1}{3}}\right )}{6 b}+\frac {2 B \sqrt {x}}{b} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 1.42, size = 278, normalized size = 1.04 \begin {gather*} \frac {2 \, B \sqrt {x}}{b} - \frac {\frac {\sqrt {3} {\left (B a - A b\right )} \log \left (\sqrt {3} a^{\frac {1}{6}} b^{\frac {1}{6}} \sqrt {x} + b^{\frac {1}{3}} x + a^{\frac {1}{3}}\right )}{a^{\frac {5}{6}} b^{\frac {1}{6}}} - \frac {\sqrt {3} {\left (B a - A b\right )} \log \left (-\sqrt {3} a^{\frac {1}{6}} b^{\frac {1}{6}} \sqrt {x} + b^{\frac {1}{3}} x + a^{\frac {1}{3}}\right )}{a^{\frac {5}{6}} b^{\frac {1}{6}}} + \frac {4 \, {\left (B a b^{\frac {1}{3}} - A b^{\frac {4}{3}}\right )} \arctan \left (\frac {b^{\frac {1}{3}} \sqrt {x}}{\sqrt {a^{\frac {1}{3}} b^{\frac {1}{3}}}}\right )}{a^{\frac {2}{3}} b^{\frac {1}{3}} \sqrt {a^{\frac {1}{3}} b^{\frac {1}{3}}}} + \frac {2 \, {\left (B a^{\frac {4}{3}} b^{\frac {1}{3}} - A a^{\frac {1}{3}} b^{\frac {4}{3}}\right )} \arctan \left (\frac {\sqrt {3} a^{\frac {1}{6}} b^{\frac {1}{6}} + 2 \, b^{\frac {1}{3}} \sqrt {x}}{\sqrt {a^{\frac {1}{3}} b^{\frac {1}{3}}}}\right )}{a b^{\frac {1}{3}} \sqrt {a^{\frac {1}{3}} b^{\frac {1}{3}}}} + \frac {2 \, {\left (B a^{\frac {4}{3}} b^{\frac {1}{3}} - A a^{\frac {1}{3}} b^{\frac {4}{3}}\right )} \arctan \left (-\frac {\sqrt {3} a^{\frac {1}{6}} b^{\frac {1}{6}} - 2 \, b^{\frac {1}{3}} \sqrt {x}}{\sqrt {a^{\frac {1}{3}} b^{\frac {1}{3}}}}\right )}{a b^{\frac {1}{3}} \sqrt {a^{\frac {1}{3}} b^{\frac {1}{3}}}}}{6 \, b} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 2.88, size = 1915, normalized size = 7.15
result too large to display
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 23.16, size = 833, normalized size = 3.11 \begin {gather*} \begin {cases} \tilde {\infty } \left (- \frac {2 A}{5 x^{\frac {5}{2}}} + 2 B \sqrt {x}\right ) & \text {for}\: a = 0 \wedge b = 0 \\\frac {- \frac {2 A}{5 x^{\frac {5}{2}}} + 2 B \sqrt {x}}{b} & \text {for}\: a = 0 \\\frac {2 A \sqrt {x} + \frac {2 B x^{\frac {7}{2}}}{7}}{a} & \text {for}\: b = 0 \\- \frac {\sqrt [6]{-1} A \sqrt [6]{\frac {1}{b}} \log {\left (- \sqrt [6]{-1} \sqrt [6]{a} \sqrt [6]{\frac {1}{b}} + \sqrt {x} \right )}}{3 a^{\frac {5}{6}}} + \frac {\sqrt [6]{-1} A \sqrt [6]{\frac {1}{b}} \log {\left (\sqrt [6]{-1} \sqrt [6]{a} \sqrt [6]{\frac {1}{b}} + \sqrt {x} \right )}}{3 a^{\frac {5}{6}}} - \frac {\sqrt [6]{-1} A \sqrt [6]{\frac {1}{b}} \log {\left (- 4 \sqrt [6]{-1} \sqrt [6]{a} \sqrt {x} \sqrt [6]{\frac {1}{b}} + 4 \sqrt [3]{-1} \sqrt [3]{a} \sqrt [3]{\frac {1}{b}} + 4 x \right )}}{6 a^{\frac {5}{6}}} + \frac {\sqrt [6]{-1} A \sqrt [6]{\frac {1}{b}} \log {\left (4 \sqrt [6]{-1} \sqrt [6]{a} \sqrt {x} \sqrt [6]{\frac {1}{b}} + 4 \sqrt [3]{-1} \sqrt [3]{a} \sqrt [3]{\frac {1}{b}} + 4 x \right )}}{6 a^{\frac {5}{6}}} + \frac {\sqrt [6]{-1} \sqrt {3} A \sqrt [6]{\frac {1}{b}} \operatorname {atan}{\left (\frac {\sqrt {3}}{3} - \frac {2 \left (-1\right )^{\frac {5}{6}} \sqrt {3} \sqrt {x}}{3 \sqrt [6]{a} \sqrt [6]{\frac {1}{b}}} \right )}}{3 a^{\frac {5}{6}}} - \frac {\sqrt [6]{-1} \sqrt {3} A \sqrt [6]{\frac {1}{b}} \operatorname {atan}{\left (\frac {\sqrt {3}}{3} + \frac {2 \left (-1\right )^{\frac {5}{6}} \sqrt {3} \sqrt {x}}{3 \sqrt [6]{a} \sqrt [6]{\frac {1}{b}}} \right )}}{3 a^{\frac {5}{6}}} + \frac {\sqrt [6]{-1} B \sqrt [6]{a} \sqrt [6]{\frac {1}{b}} \log {\left (- \sqrt [6]{-1} \sqrt [6]{a} \sqrt [6]{\frac {1}{b}} + \sqrt {x} \right )}}{3 b} - \frac {\sqrt [6]{-1} B \sqrt [6]{a} \sqrt [6]{\frac {1}{b}} \log {\left (\sqrt [6]{-1} \sqrt [6]{a} \sqrt [6]{\frac {1}{b}} + \sqrt {x} \right )}}{3 b} + \frac {\sqrt [6]{-1} B \sqrt [6]{a} \sqrt [6]{\frac {1}{b}} \log {\left (- 4 \sqrt [6]{-1} \sqrt [6]{a} \sqrt {x} \sqrt [6]{\frac {1}{b}} + 4 \sqrt [3]{-1} \sqrt [3]{a} \sqrt [3]{\frac {1}{b}} + 4 x \right )}}{6 b} - \frac {\sqrt [6]{-1} B \sqrt [6]{a} \sqrt [6]{\frac {1}{b}} \log {\left (4 \sqrt [6]{-1} \sqrt [6]{a} \sqrt {x} \sqrt [6]{\frac {1}{b}} + 4 \sqrt [3]{-1} \sqrt [3]{a} \sqrt [3]{\frac {1}{b}} + 4 x \right )}}{6 b} - \frac {\sqrt [6]{-1} \sqrt {3} B \sqrt [6]{a} \sqrt [6]{\frac {1}{b}} \operatorname {atan}{\left (\frac {\sqrt {3}}{3} - \frac {2 \left (-1\right )^{\frac {5}{6}} \sqrt {3} \sqrt {x}}{3 \sqrt [6]{a} \sqrt [6]{\frac {1}{b}}} \right )}}{3 b} + \frac {\sqrt [6]{-1} \sqrt {3} B \sqrt [6]{a} \sqrt [6]{\frac {1}{b}} \operatorname {atan}{\left (\frac {\sqrt {3}}{3} + \frac {2 \left (-1\right )^{\frac {5}{6}} \sqrt {3} \sqrt {x}}{3 \sqrt [6]{a} \sqrt [6]{\frac {1}{b}}} \right )}}{3 b} + \frac {2 B \sqrt {x}}{b} & \text {otherwise} \end {cases} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________